

body
{
  font-family: sans-serif;
  background: #FFFFFF;
}

p
{ 
}

p
{
  font-size: 14px;
  color: #222222;
}

h1, h2
{
  color: #FF9000;
}

.chapter
{
  padding-left: 14px;
  background: #EEEEEE;
  padding-bottom: 50px;
}

.chapter .contents
{
  font-size: 10px;
}

p .keyword
{
  font-weight: bold;
}

p .comment
{
  color: #407F00;
}

p .typename
{
  color: #7F1030;
}

p .identifier
{
  color: #30107F;
}

p .constraint
{
  color: #800080;
}

.snippet
{
  font-family: Courier New, Monospace;
  background: #CCCCCC;
  border: 1px solid #222222;
  margin-left: 5%;
  margin-right: 5%;
  padding-left: 12px;
  padding-right: 10px;
  /*padding-top: 10px;*/
  /*padding-bottom: 10px;*/
  font-size: 12px;
}

.snippet p
{
  color: #111111;
}

.todo
{
  font-family: Courier New, Monospace;
  background: #E0E0E0;
  border: 2px solid #F01010;
  margin-left: 5%;
  margin-right: 5%;
  padding-left: 12px;
  padding-right: 10px;
  /*padding-top: 10px;*/
  /*padding-bottom: 10px;*/
  font-size: 12px;
}

.todo p
{
  color: #220000;
}

.todo h3
{ 
  color: #990000;
}